stubdom: fix munmap's update_va_mapping flag passing, thus fixing
authorKeir Fraser <keir.fraser@citrix.com>
Thu, 28 Aug 2008 12:09:02 +0000 (13:09 +0100)
committerKeir Fraser <keir.fraser@citrix.com>
Thu, 28 Aug 2008 12:09:02 +0000 (13:09 +0100)
commite388539d78dba35310647f2d4b5b3b54a8f8755b
tree67b9f9bbf96f7edd7d853f3a2899f98a9b5de2ee
parentc07e22cf605a75ce9c6f3a0ffe4b48cf5eab9c60
stubdom: fix munmap's update_va_mapping flag passing, thus fixing
INVLPG passing

Signed-off-by: Samuel Thibault <samuel.thibault@eu.citrix.com>
extras/mini-os/lib/sys.c